Marcozzi, Michael D.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Relational symbolic execution of SQL code for unit testing of database programs

Marcozzi, Michaël, Vanhoof, Wim, Hainaut, Jean-Luc

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.76 MB

english, 2015

2

A Numerical Approach to American Currency Option Valuation

Choi, Seungmook, Marcozzi, Michael D

Journal:

The Journal of Derivatives

Year:

2001

Language:

english

File:

PDF, 200 KB

english, 2001

3

On the use of boundary conditions for variational formulations arising in financial mathematics

Michael D. Marcozzi, Seungmook Choi, C.S. Chen

Journal:

Applied Mathematics and Computation

Year:

2001

Language:

english

File:

PDF, 309 KB

english, 2001

4

On the valuation of interest rate products under multi-factor HJM term-structures

Michael D. Marcozzi

Journal:

Applied Numerical Mathematics

Year:

2009

Language:

english

File:

PDF, 457 KB

english, 2009

5

Extrapolation discontinuous Galerkin method for ultraparabolic equations

Michael D. Marcozzi

Journal:

Journal of Computational and Applied Mathematics

Year:

2009

Language:

english

File:

PDF, 1.00 MB

english, 2009

6

Pricing Multi-Asset American Options: A

Pavlo Kovalov, Vadim Linetsky, Michael Marcozzi

Journal:

Journal of Scientific Computing

Year:

2007

Language:

english

File:

PDF, 1.57 MB

english, 2007

7

On the Approximation of Optimal Stopping Problems with Application to Financial Mathematics

Marcozzi, Michael D.

Journal:

SIAM Journal on Scientific Computing

Year:

2001

Language:

english

File:

PDF, 268 KB

english, 2001

8

Variational methods for the potential flow past an airfoil

Hsiao, George C., Marcozzi, Michael D.

Journal:

Applicable Analysis

Year:

1997

Language:

english

File:

PDF, 885 KB

english, 1997

9

Development of a Hospital Medical Surge Preparedness Index using a national hospital survey

Marcozzi, David E., Pietrobon, Ricardo, Lawler, James V., French, Michael T., Mecher, Carter, Peffer, John, Baehr, Nicole E., Browne, Brian J.

Journal:

Health Services and Outcomes Research Methodology

Year:

2020

File:

PDF, 1.29 MB

2020

10

Stochastic optimal control of ultradiffusion processes with application to dynamic portfolio management

Michael D. Marcozzi

Journal:

Journal of Computational and Applied Mathematics

Year:

2008

Language:

english

File:

PDF, 1.02 MB

english, 2008

11

On the approximation solvability of a class of strongly nonlinear elliptic problems on unbounded domains

Michael D. Marcozzi

Journal:

Nonlinear Analysis: Theory, Methods & Applications

Year:

2003

Language:

english

File:

PDF, 176 KB

english, 2003

12

On the Approximation of Infinite Dimensional Optimal Stopping Problems with Application to Mathematical Finance

Michael D. Marcozzi

Journal:

Journal of Scientific Computing

Year:

2008

Language:

english

File:

PDF, 475 KB

english, 2008

13

An adaptive extrapolation discontinuous Galerkin method for the valuation of Asian options

Michael D. Marcozzi

Journal:

Journal of Computational and Applied Mathematics

Year:

2011

Language:

english

File:

PDF, 2.10 MB

english, 2011

14

Paramedic transtelephonic communication to cardiologist of clinical and electrocardiographic assessment for rapid reperfusion of ST-elevation myocardial infarction

David G. Strauss, Paula Quintal Sprague, Kevin Underhill, Charles Maynard, George L. Adams, Amy Kessenich, Michael H. Sketch Jr, Peter B. Berger, David Marcozzi, Christopher B. Granger, Galen S. Wagne

Journal:

Journal of Electrocardiology

Year:

2007

Language:

english

File:

PDF, 196 KB

english, 2007

15

Asset liquidity and the valuation of derivative securities

Yanan Jiang, Michael D. Marcozzi

Journal:

Journal of Computational and Applied Mathematics

Year:

2012

Language:

english

File:

PDF, 295 KB

english, 2012

16

Crowd and environmental management during mass gatherings

Anders Johansson, Michael Batty, Konrad Hayashi, Osama Al Bar, David Marcozzi, Ziad A Memish

Journal:

The Lancet Infectious Diseases

Year:

2012

Language:

english

File:

PDF, 1.66 MB

english, 2012

17

On the Valuation of Asian Options by Variational Methods

Marcozzi, Michael D.

Journal:

SIAM Journal on Scientific Computing

Year:

2003

Language:

english

File:

PDF, 424 KB

english, 2003

18

[IEEE 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Eindhoven, Netherlands (2013.09.22-2013.09.23)] 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - A relational symbolic execution algorithm for constraint-based testing of database programs

Marcozzi, Michael, Vanhoof, Wim, Hainaut, Jean-Luc

Year:

2013

Language:

english

File:

PDF, 210 KB

english, 2013

19

On the approximate solvability of a strongly nonlinear transmission problem from macrobiology

Marcozzi, Michael D.

Journal:

Applicable Analysis

Year:

1996

Language:

english

File:

PDF, 472 KB

english, 1996

20

Optimal control of ultradiffusion processes with application to mathematical finance

Marcozzi, Michael D.

Journal:

International Journal of Computer Mathematics

Year:

2015

Language:

english

File:

PDF, 706 KB

english, 2015

21

[ACM Press the 6th International Workshop - Hyderabad, India (2014.05.31-2014.05.31)] Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis - CSTVA 2014 - Towards testing of full-scale SQL applications using relational symbolic execution

Marcozzi, Michaël, Vanhoof, Wim, Hainaut, Jean-Luc

Year:

2014

Language:

english

File:

PDF, 262 KB

english, 2014

22

[ACM Press the Fifth International Workshop - Scottsdale, Arizona (2012.05.21-2012.05.21)] Proceedings of the Fifth International Workshop on Testing Database Systems - DBTest '12 - Test input generation for database programs using relational constraints

Marcozzi, Michaël, Vanhoof, Wim, Hainaut, Jean-Luc

Year:

2012

Language:

english

File:

PDF, 262 KB

english, 2012

23

[ACM Press the 13th annual conference - Dublin, Ireland (2011.07.12-2011.07.16)] Proceedings of the 13th annual conference on Genetic and evolutionary computation - GECCO '11 - A novel probabilistic encoding for EAs applied to biclustering of microarray data

Marcozzi, Michaël, Divina, Federico, Aguilar-Ruiz, Jesús S., Vanhoof, Wim

Year:

2011

Language:

english

File:

PDF, 471 KB

english, 2011

24

Safety, efficacy, and immunogenicity of VGX-3100, a therapeutic synthetic DNA vaccine targeting human papillomavirus 16 and 18 E6 and E7 proteins for cervical intraepithelial neoplasia 2/3: a randomised, double-blind, placebo-controlled phase 2b trial

Trimble, Cornelia L, Morrow, Matthew P, Kraynyak, Kimberly A, Shen, Xuefei, Dallas, Michael, Yan, Jian, Edwards, Lance, Parker, R Lamar, Denny, Lynette, Giffear, Mary, Brown, Ami Shah, Marcozzi-Pierce

Journal:

Year:

2015

Language:

english

File:

PDF, 563 KB

english, 2015

25

505. VGX-3100 Drives Regression of HPV16/18 CIN2/3 and Robust Cellular Immune Responses in Blood and Cervical Tissue in a Blinded, Randomized, Placebo-Controlled Phase 2B Study

Morrow, Matthew, Trimble, Connie, Shen, Xuefei, Dallas, Michael, Weiner, David, Boyer, Jean, Yan, Jian, Kraynyak, Kimberly, Sylester, Albert, Giffear, Mary, Marcozzi-Pierce, Kathleen, Shah, Divya, Bro

Journal:

Molecular Therapy

Year:

2016

Language:

english

File:

PDF, 326 KB

english, 2016

26

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Generic and Effective Specification of Structural Test Objectives

Marcozzi, Michael, Delahaye, Mickael, Bardin, Sebastien, Kosmatov, Nikolai, Prevosto, Virgile

Year:

2017

Language:

english

File:

PDF, 235 KB

english, 2017

27

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Taming Coverage Criteria Heterogeneity with LTest

Marcozzi, Michael, Bardin, Sebastien, Delahaye, Mickael, Kosmatov, Nikolai, Prevosto, Virgile

Year:

2017

Language:

english

File:

PDF, 233 KB

english, 2017

28

Probabilistic Interpretation of Solutions of Linear Ultraparabolic Equations

Marcozzi, Michael

Journal:

Year:

2018

File:

PDF, 271 KB

2018